منابع مشابه
Miguel Cruz Costa Calejo A Framework
This thesis describes a new approach to declarative debugging (error diagnosis) of logic programs. The main contributions are: • “Declarative source debugging”, a new approach requiring less queries from the user. • Improved algorithms for classical “declarative execution debugging”. • Support for Prolog impurities, such as cuts and side-effects. • The use of suspect trees, allowing uniform tre...
متن کاملRey Hernández - Julián
Studies have shown that attractive people have higher earnings. In this paper, we test the hypothesis that physical attractiveness may be a proxy for unobserved productivity. We compare the impact of attractiveness on grades in college courses where instructors can directly observe the student’s appearance to courses where they do not. We confirm that appearance matters: attractive female stude...
متن کاملHernández - Dueñas RESEARCH STATEMENT IN : SEMICLASSICAL ANALYSIS
My research interests include the area of semiclassical analysis. In collaboration with Professor Alejandro Uribe, we develop semiclassical analysis on certain phase spaces (symplectic manifolds) with boundary, construct a symbolic calculus for semiclassical operators with singular symbols and study propagation. This has applications to spectral theory and mathematical physics. However, I also ...
متن کاملThe dissertation of Miguel
OF THE DISSERTATION Loop Quantization versus Fock Quantization of p-Form Electromagnetism on Static Spacetimes
متن کاملUC Santa Cruz UC
The conditions and properties of hydrothermal vents and hydrothermal fields are compared in terms of their ability to support processes related to the origin of life. The two sites can be considered as alternative hypotheses, and from this comparison we propose a series of experimental tests to distinguish between them, focusing on those that involve concentration of solutes, self-assembly of m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revista Española de Filosofía Medieval
سال: 2020
ISSN: 2530-7878,1133-0902
DOI: 10.21071/refime.v27i2.13128